Propositional formula

#	Item
131	PDF Document Add to Reading List Source URL: people.umass.edu Language: English - Date: 2009-09-09 16:21:38 Boolean algebra Semantics Logical connectives Tautology Natural deduction Modal logic Negation Well-formed formula Truth function Logic Mathematical logic Propositional calculus
132	PDF Document Add to Reading List Source URL: ftp.informatik.rwth-aachen.de Language: English - Date: 2007-09-11 11:45:04 Boolean algebra Propositional calculus Topology Computational complexity theory Interval-valued computation Model theory Propositional variable True quantified Boolean formula Interval Mathematics Mathematical logic Logic
133	PDF Document Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2008-10-29 09:10:25 Metalogic Propositional calculus Mathematical logic Entailment Natural deduction Symbol Function Well-formed formula Logic Deduction Logical syntax